strong completeness

强完备性